DBG_UART_INTERFACE  := 0x10 # stdout, stdin (BLE UART) nrf9160dk UART
ERR_UART_INTERFACE  := 0x10 # stderr        (BLE UART) nrf9160dk UART
DBG_TEE_INTERFACE   := 0    # stdout copy   (UART0)
ERR_TEE_INTERFACE   := 0    # stderr copy   (UART0)

make SD=1 BOARD=nrf9160dk_nrf52840 APP=examples/kernel/tasks flash_sd prog

# nrf9160dk starting...

# nano RTOS (C) 2022-2026 nanortos.com
task 1  00000000      0.000
task 2  ffffffff      1.006
task 1  00000002      2.001
task 2  fffffffd      3.007
task 1  00000004      4.001
task 2  fffffffb      5.007
task 1  00000006      6.002
task 2  fffffff9      7.008
task 1  00000008      8.003
task 2  fffffff7      9.008
task 1  0000000a     10.004
